m SOLUTIONS GOOD , m − 1 SOLUTIONS BETTER

One of the main objectives of theoretical research in computational complexity and feasibility is to explain experimentally observed difference in complexity. Empirical evidence shows that the more solutions a system of equations has, the more difficult it is to solve it. Similarly, the more global maxima a continuous function has, the more difficult it is to locate them. Until now, these empirical facts have been only partially formalized: namely, it has been shown that problems with two or more solutions are more difficult to solve than problems with exactly one solution. In this paper, we extend this result and show that for every m, problems with exactly m solutions are more difficult to solve than problems with m − 1 solutions. Rephrasing Orwell’s “Four legs good, two legs better”, we can describe this result as “m solutions good, m−1 solutions better”. Mathematics Subject Classification: 68Q17, 68Q15, 90C60, 65G20 2 L. Longpré, V. Kreinovich, W. Gasarch, G.W. Walster